Algorithm engineering

Results: 1680



#Item
631Monte Carlo methods / Permutations / Randomness / Sampling / Survey methodology / Simple random sample / Randomized algorithm / Algorithm / Fisher–Yates shuffle / Mathematics / Applied mathematics / Statistics

Weighted Random Sampling over Data Streams arXiv:1012.0256v1 [cs.DS] 1 Dec 2010 Pavlos S. Efraimidis Department of Electrical and Computer Engineering,

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2010-12-01 20:14:46
632Debugging / Program analysis / Program slicing / Program transformation / Software maintenance / Static single assignment form / Subroutine / Algorithm / Stack / Computing / Computer programming / Software engineering

Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† ,

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2013-09-09 05:44:56
633Software engineering / Parallel computing / Actor model / Concurrency / Computer science / Algorithm / Communications protocol / Thread / Ada / Computing / Concurrent computing / Computer programming

The Impending Ordinariness of Teaching Concurrent Programming Doug Lea SUNY, Oswego

Add to Reading List

Source URL: gee.cs.oswego.edu

Language: English - Date: 2011-03-01 20:00:05
634Dataflow / Symbolic execution / Algorithm / Information flow / Dependence analysis / Pointer / Information / Taint checking / Computing / Software engineering / Parallel computing

DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.edu

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
635Computer programming / Algorithm / Mathematical logic / Theoretical computer science / Heuristic function / Heuristic / Admissible heuristic / Assignment / C / Heuristics / Software engineering / Computing

Assignment 1: Intelligent Agents, Search Due September 23 at 12:30pm 49 marks total, worth 5% of final grade This assignment is to be done individually. Important Note: The univeristy policy on academic dishonesty (cheat

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2008-09-08 16:56:16
636Software engineering / Programming language / International Conference on Functional Programming / Expect / Algorithm / Parallel computing / Computer programming / Computing / ICFP Programming Contest

The Cult of the Bound Variable: The 9th Annual ICFP Programming Contest Tom Murphy VII Daniel Spoonhower Chris Casinghino Daniel R. Licata

Add to Reading List

Source URL: boundvariable.org

Language: English
637Backgammon / C / Assignment / Search algorithm / Eval / Algorithm / Software engineering / Computing / Computer programming

Fall 2008 CMPT 310: Assignment 2 Instructor: Greg Mori Assignment 2: Game Playing

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2008-09-23 14:31:12
638Parallel computing / Cluster computing / Grid computing / MOSIX / Routing / Bellman–Ford algorithm / Node / Distributed algorithm / Shortest path problem / Computing / Concurrent computing / Mathematics

Asynchronous distributed algorithms Keith Briggs more.btexact.com/people/briggsk2 Bristol Engineering Maths 2003 Dec

Add to Reading List

Source URL: keithbriggs.info

Language: English - Date: 2005-07-05 13:03:01
639Software engineering / Data types / Kahan summation algorithm / LLVM / Floating point / Lookup table / Long double / Algorithm / Fortran / Computing / Computer arithmetic / Computer programming

Precimonious: Tuning Assistant for Floating-Point Precision Cindy Rubio-Gonz´alez1 , Cuong Nguyen1 , Hong Diep Nguyen1 , James Demmel1 , William Kahan1 , Koushik Sen1 , David H. Bailey2 , Costin Iancu2 , and David Hough

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2013-08-16 23:59:57
640Vision / Mathematics / Computational neuroscience / Segmentation / Bloodstain pattern analysis / Algorithm / Gesture / Neural network / Computer music / Image processing / Imaging / Computer vision

Department of Computer Science and Software Engineering 2014 Departmental Postgraduate Conference August 28-29, 2014 Lecture Theatre 031, Erskine Building

Add to Reading List

Source URL: www.cosc.canterbury.ac.nz

Language: English - Date: 2014-08-27 18:48:58
UPDATE